Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
611	International Journal of Education and Research Vol. 3 No. 2 February 2015 INFLUENCE OF PERSONALITY FACTORS ON CAREER CHOICE AMONG SECONDARY SCHOOL STUDENTS IN CHUKA SUB COUNTY OF THARAKA NITHI Add to Reading List Source URL: www.ijern.com Language: English - Date: 2015-03-06 05:52:59 Personality traits Conceptions of self Extraversion and introversion Trait theory Personality psychology Personality type Self-esteem Myers-Briggs Type Indicator Shyness Personality Mind Behavior
612	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. Add to Reading List Source URL: compilers.cs.ucla.edu Language: English - Date: 2015-01-10 19:46:17 Type theory Models of computation Symbol Lambda calculus Greek alphabet Type constructor Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematics Computer science
613	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory
614	Introduction to Hypoelliptic Schr¨ odinger type operators Lectures by Add to Reading List Source URL: www.hairer.org Language: English - Date: 2010-09-13 06:22:10 Symplectic geometry Equations Equations of motion Hamiltonian Partial differential equations Dirac delta function Spectral theory of ordinary differential equations Hamilton–Jacobi equation Physics Mathematical analysis Classical mechanics
615	DynJava: Type Safe Dynamic Code Generation in Java Yutaka Oiwa Hidehiko Masuhara Akinori Yonezawa Add to Reading List Source URL: wwwfun.kurims.kyoto-u.ac.jp Language: English - Date: 2001-03-13 22:08:46 Procedural programming languages Cross-platform software Type theory Java C Type system Regular expression Generator ALGOL 68 Computing Software engineering Computer programming
616	IN SUBMITTED AS A SHORT PAPER TO THE IEEE TRANSACTIONS ON ROBOTICS, 2005 Article information number: K05-237 1 Add to Reading List Source URL: webdiis.unizar.es Language: English - Date: 2007-01-15 06:48:17 Statistical theory Iterative closest point Accuracy and precision Visual odometry Simultaneous localization and mapping Type I and type II errors Pose Sensor Statistics Thought Computer vision
617	Entity with Attributes View Add to Reading List Source URL: www.danieljacobson.com Language: English - Date: 2012-01-03 06:29:58 Computing Variables Boolean data type Mathematics Data types Software engineering Type theory
618	Enforcing information flow policies by a three-valued analysis Jos´ee Desharnais Erwanne P. Kanyabwero Add to Reading List Source URL: csf2012.seas.harvard.edu Language: English - Date: 2012-07-05 18:15:10 Computing Programming language theory Information flow Information theory Crime prevention National security Data-flow analysis Static single assignment form Computer security Data types Type theory Software engineering
619	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
620	Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming

UPDATE